	 <
0	 <
01	 <
012	 <
0123	 <
01234	 <
012345	 <
0123456	 <
01234567 <
01234567 <
01234567 <
01234567 <
01234567 <
01234567 <
01234567 <
01234567 <
01234567 <
